.PS

copy "sequence.pic";

boxwid = 1.3;

# Define the objects
actor(A,"");
placeholder_object(S)
placeholder_object(O)
placeholder_object(T)
step();

# Message sequences
create_message(A,S,"s:Starspan");
active(S);

create_message(S,T,"t:Traverser");

create_message(S,O,"o:EnviSlObserver");

message(S,T,"setObserver(o)");

message(S,T,"traverse()");
active(T);
step();
active(O);

message(T,O,"intersection()");
message(T,O,"addSignature()");

inactive(S);
inactive(T);
inactive(O);

complete(O);
complete(A);

.PE
